Related Words Logo

Reverse Dictionary

examples: unpleasantly moistusing pretentious wordsinhabitant of earth

Click words for definitions

theorem theor proposition factor law Pythagorean proposition De Morgan Bayesian holo- derivation philosopheme Pythagorean theorem chol hamoed hols dual converse theorem of Pythagoras lemma induction binomial theorem theorematical hunt remainder theorem conjecture postulate Pythagoras' theorem Hollands shot-glass Maclaurin's theorem binomial polynomial Rolle's theorem inverse theorematically Church's theorem counterexample contrapositive undecidable fixed
words continue after advertisement
Bayes' theorem distributive law uniqueness theorem excess construction projective porime uncia mean value theorem minimax theorem satisfy diagram binomial coefficient Leibniz theorem Bell's theorem Fourier's theorem cobweb theorem quod erat demonstrandum Gödel, Kurt principle of duality Löwenheim-Skolem Sturm's theorem deˈcidable factor theorem Bernoulli's principle Godel's theorem law of large numbers, the existence theorem syntactic de Moivre's theorem Jordan curve theorem Nernst heat theorem incompleteness theorem hole DeMoivre's theorem Shannon's theorem Pasolini Pythagorean turnstile axiom Green's theorem Bernoulli's equation Fermat's last theorem law of absorption Ramanujan, Srinivasa Aaiyangar Stokes' theorem Liouville's theorem Desargues's theorem reciprocity theorem law of large numbers completeness principle binomial law elucidation Ceva's theorem Gödel's theorem Pythagoras L'Hopital's rule soundness fundamental theorem of algebra Menelaus' theorem de Moivre Castigliano's theorem indirect law of thermodynamics inheritance tide

Popular Searches

Words For "hol theorem prover"

As you've probably noticed, words for "hol theorem prover" are listed above. According to the algorithm that drives this word similarity engine, the top 5 related words for "hol theorem prover" are: theorem, theor, proposition, factor law, and Pythagorean proposition. There are 100 other words that are related to or similar to hol theorem prover listed above. Hopefully the generated list of words for "hol theorem prover" above suit your needs. If not, you might want to check out Related Words - another project of mine which uses a different technique (not though that it works best with single words, not phrases).

About Reverse Dictionary

The way Reverse Dictionary works is pretty simple. It simply looks through tonnes of dictionary definitions and grabs the ones that most closely match your search query. For example, if you type something like "longing for a time in the past", then the engine will return "nostalgia". The engine has indexed several million definitions so far, and at this stage it's starting to give consistently good results (though it may return weird results sometimes). It acts a lot like a thesaurus except that it allows you to search with a definition, rather than a single word. So in a sense, this tool is a "search engine for words", or a sentence to word converter.

I made this tool after working on Related Words which is a very similar tool, except it uses a bunch of algorithms and multiple databases to find similar words to a search query. That project is closer to a thesaurus in the sense that it returns synonyms for a word (or short phrase) query, but it also returns many broadly related words that aren't included in thesauri. So this project, Reverse Dictionary, is meant to go hand-in-hand with Related Words to act as a word-finding and brainstorming toolset. For those interested, I also developed Describing Words which helps you find adjectives and interesting descriptors for things (e.g. waves, sunsets, trees, etc.).

In case you didn't notice, you can click on words in the search results and you'll be presented with the definition of that word (if available). The definitions are sourced from the famous and open-source WordNet database, so a huge thanks to the many contributors for creating such an awesome free resource.

Special thanks to the contributors of the open-source code that was used in this project: Elastic Search, @HubSpot, WordNet, and @mongodb.

Please note that Reverse Dictionary uses third party scripts (such as Google Analytics and advertisements) which use cookies. To learn more, see the privacy policy.

Recent Queries